首页> 外文OA文献 >Paraconsistent reasoning and preferential entailments by signed quantified boolean formulae

【2h】

Paraconsistent reasoning and preferential entailments by signed quantified boolean formulae

机译：签名量化布尔公式的次协调推理和优先蕴涵

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Ofer Arieli;
展开▼
作者单位

展开▼
年度 2014
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Paraconsistent Reasoning and Preferential Entailments by Signed Quantified Boolean Formulae [J] . OFER ARIELI ACM transactions on computational logic . 2007,第3期

机译：有符号量化布尔公式的超一致推理和优先蕴涵
2. Reducing Preferential Paraconsistent Reasoning to Classical Entailment [J] . OFER ARIELI, MARC DENECKER Journal of logic and computation . 2003,第4期

机译：减少对经典蕴含的偏好一致的推理
3. Partial logic synthesis by using sum of products or product of sums based quantified boolean formulae [J] . Xiaoran Han, Amir Masoud Gharehbaghi, Masahiro Fujita 電子情報通信学会技術研究報告. VLSI設計技術. VLSI Design Technologies . 2018,第29期

机译：使用基于SUMS的量化布尔公式的产品和产物和局部逻辑合成
4. Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems [C] . Philippe Besnard, Torsten Schaub, Hans Tompits, Logics in Artificial Intelligence . 2002

机译：通过量化布尔公式进行的超常推理，I：公理签名系统
5. Relating the PSPACE reasoning power of Boolean programs and quantified Boolean formulas. [D] . Skelley, Alan Ramsay. 2000

机译：与布尔程序和量化布尔公式的PSPACE推理能力相关。
6. AGO1 Homeostasis Entails Coexpression of MIR168 and AGO1 and Preferential Stabilization of miR168 by AGO1 [O] . Hervé Vaucheret, Allison C. Mallory, David P. Bartel -1

机译：AGO1稳态需要MIR168和AGO1的共表达以及AGO1对miR168的优先稳定作用
7. Paraconsistent Reasoning via Quantified Boolean Formulas,I: Axiomatising Signed Systems [O] . Besnard, Philippe, Schaub, Torsten, Tompits, Hans, 2002

机译：通过量化布尔公式的次协调推理，I：axiomatising 签署系统

Paraconsistent reasoning and preferential entailments by signed quantified boolean formulae

著录项

引文网络

相似文献

相关主题

期刊订阅